Marcus theory - PDFSEARCH.IO - Document Search Engine

Marcus theory
Results: 111

#	Item
71	SUBSTITUTIVITY AND SIDE EFFECTS Graeme Forbes 1. Introduction A major thread that runs through Ruth Barcan Marcus’s collection of papers Modalities: Philosophical Essays,1 is the ongoing dialectic that she has pursued Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2005-04-02 14:41:02 First-order logic Interpretation Structure Entailment Giorgione Logic Model theory Mathematical logic
72	Majority rule in the absence of a majority Klaus Nehring∗and Marcus Pivato† September 5, 2011 Abstract What is the meaning of ‘majoritarianism’ in a judgement aggregation problem Add to Reading List Source URL: federation.ens.fr Language: English - Date: 2012-09-26 08:00:15 Measure theory Support Function Continuous function Mathematical analysis Mathematics Functions and mappings
73	return to updates The Latest Hoax in Physics: Eric Weinstein by Miles Mathis Add to Reading List Source URL: milesmathis.com Language: English - Date: 2013-05-25 16:09:51 General relativity Theories of gravitation Marcus du Sautoy Theory of everything Einstein field equations String theory Mathematics Quantum mechanics Field equation Physics Theoretical physics Particle physics
74	Title: Solomonoff Prediction in Philosophical Perspective Abstract: The 1960 and 1964 papers of Raymond J. Solomonoff mark the birth of the branch of theoretical computer science that is now known as algorithmic informat Add to Reading List Source URL: www.kent.ac.uk Language: English - Date: 2013-09-09 12:37:46 Science Ray Solomonoff Statistical inference Kolmogorov complexity Algorithmic information theory Inductive reasoning Algorithmic probability Marcus Hutter Artificial intelligence Theoretical computer science Statistics
75	Scalable Semantic Web Data Management Using Vertical Partitioning Daniel J. Abadi Adam Marcus Add to Reading List Source URL: www.vldb.org Language: English - Date: 2007-07-31 04:22:36 Database management systems Semantic Web Data modeling RDF Database theory Resource Description Framework SPARQL PostgreSQL RDF Schema Data management Computing Data
76	Scale-free Geometry in Object-Oriented Programs Alex Potanin, James Noble, Marcus Frean, Robert Biddle School of Mathematical and Computing Sciences Victoria University of Wellington, New Zealand {alex, kjx, marcus, robe Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2008-08-10 00:11:06 Object-oriented programming Data types Graph theory Memory management Graph Object Garbage collection Scale-free network Self Software engineering Computing Computer programming
77	Open-endedness, schemas and ontological commitment∗ Nikolaj Jang Pedersen and Marcus Rossberg December 10, 2008 Abstract Second-order axiomatizations of certain important mathematical theories – such as arithmetic an Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:03 Predicate logic Model theory Quantification Analytic philosophers First-order logic George Boolos Second-order arithmetic Peano axioms Second-order logic Logic Mathematical logic Mathematics
78	Explaining the Size Distribution of Cities: X-treme Economies Marcus Berliantyand Hiroki Watanabez January[removed]Abstract Add to Reading List Source URL: www.qeconomics.org Language: English - Date: 2014-11-24 16:20:37 Consumer theory Demand Supply and demand Insurance Economic model JT Unemployment Labour economics Commodity Economics Financial institutions Institutional investors
79	NOTES ON THE FOUNDATIONS OF PROGRAMMING ALEX STEPANOV AND MAT MARCUS Disclaimer: Please do not redistribute. Instead, requests for a current draft should go to Mat Marcus. These notes are a work in progress and do not co Add to Reading List Source URL: www.emarcus.org Language: English - Date: 2011-09-23 00:58:41 Number theory Analysis of algorithms Binomial coefficient Permutation Big O notation Combinatory logic Factorial Dynamic programming Bernoulli number Mathematics Combinatorics Integer sequences
80	Practical, Pluggable Types for a Dynamic Language ? Niklaus Haldiman Marcus Denker Oscar Nierstrasz Software Composition Group IAM — Universit¨ at Bern, Switzerland Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2008-09-19 08:21:59 Programming language theory Type system Type inference Subtype polymorphism Type safety Smalltalk Top type Annotation C Software engineering Type theory Computing